Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
461	Lexical Casting in C++ August 14, 2005 Abstract Add to Reading List Source URL: www.wanderinghorse.net Language: English - Date: 2009-07-27 17:58:38 C++ Method Type theory Data types Generic programming Typedef C++ classes Copy constructor Type system Software engineering Computing Computer programming
462	Flow-Sensitive Type Recovery in Linear-Log Time Michael D. Adams ∗ , Andrew W. Keep∗ , Jan Midtgaard† , Matthew Might‡ , Arun Chauhan∗ , R. Kent Dybvig∗ Abstract the cost of run-time type checks. This cost c Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-04-14 12:13:51 Models of computation Logic Mathematical logic Function Data-flow analysis Free variables and bound variables Algorithm Lambda calculus Monad Mathematics Elementary mathematics Theoretical computer science
463	AN APPLICATION OF VOGEL’S ALGORITHM ANDREW BARTHOLOMEW February 2011 ABSTRACT Building on work by Yamada [3], Vogel describes in [1] how a Reidemeister type II Add to Reading List Source URL: www.layer8.co.uk Language: English - Date: 2011-06-02 01:09:38 Graph drawing Topological graph theory Graph Planar graph Knot theory Seifert surface Graph theory Mathematics Geometric graph theory
464	Unstable Vassiliev theory Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2009-11-25 14:02:39 Algebraic topology Spectral sequence Vasilyev Finite type invariant Knot theory Abstract algebra Knot invariant
465	CIS 194: Homework 4 Due Wednesday, February 18, 2015 What is a Number? This may sound like a deep, philosophical question, but the Haskell type system gives us a simple way to answer it. A number is any Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2015-04-22 09:29:17 Mathematics Symmetric polynomial Elementary symmetric polynomial Abstract algebra Polynomials Algebra
466	Microsoft Word - quantsol-2008 extended abstract.doc Add to Reading List Source URL: www.quantsol.org Language: English - Date: 2010-05-11 12:45:47 Charge carriers Fermi–Dirac statistics Theories Semiconductor Carrier generation and recombination P–n junction Diode Quasi Fermi level N-type semiconductor Physics Electromagnetism Condensed matter physics
467	Interpreting types as abstract values Oleg Kiselyov (FNMOC) Chung-chieh Shan (Rutgers University) Formosan Summer School on Logic, Language, and Computation July 9–10, 2008 Abstract Add to Reading List Source URL: okmij.org Language: English - Date: 2008-07-19 02:12:20 Lambda calculus Type theory Logic in computer science Models of computation Data types Combinatory logic Denotational semantics Eval Type system Computing Software engineering Theoretical computer science
468	УДК (for an article in Russian or Ukraine) title of the article Add to Reading List Source URL: www.kipt.kharkov.ua Language: English - Date: 2010-02-09 09:17:59 Typesetting Typeface Italic type Letter case Picture archiving and communication system HTML element Abstract Quotation mark Times New Roman Typography Graphic design Printing
469	Combinators for Impure yet Hygienic Code Generation Yukiyoshi Kameyama Oleg Kiselyov Add to Reading List Source URL: okmij.org Language: English - Date: 2014-03-08 07:11:20 Type theory Functional languages Functional programming Data types Program analysis Type system Higher-order abstract syntax Haskell OCaml Software engineering Computing Computer programming
470	Arrays in database systems, the next frontier ? What is an array? An array is a systematic arrangement of objects, usually in rows and columns. Add to Reading List Source URL: www.nesc.ac.uk Language: English - Date: 2010-12-22 05:04:19 Data types Computer programming Abstract data types Earth sciences graphics software NetCDF Array data type MonetDB Bit array FITS Computing Arrays Software engineering

UPDATE